Computer Aided Verification 32nd International Conference, Cav 2020,

Runtime Verification 16th International Conference, Rv 2016, Madrid,

Computer Aided Verification Azadeh Farzan

Computer Aided Verification | Azadeh Farzan (u. A.) | Englisch |

Computer Aided Verification Azadeh Farzan (u. A.) Taschenbuch

Computer Aided Verification | Chao Wang (u. A.) | Englisch |

Computer Networks 23rd International Conference, Cn 2016, Brunów,

Computer-aided Cmm Inspection Planning And Verification Theory And

Speech And Computer 18th International Conference, Specom 2016,

Anis Limaiem | Computer-aided Cmm Inspection Planning And Verification

Corina S. P¿s¿reanu (u. A.) | Computer Aided Verification |

Robert P. Kursh Computer-aided Verification Of C (gebundene Ausgabe)

Runtime Verification Third International Conference, Rv 2012,

Runtime Verification 6th International Conference, Rv 2015, Vienna,

Runtime Verification 19th International Conference, Rv 2019, Porto,

Runtime Verification 18th International Conference, Rv 2018, Limassol,